HermiT: A Highly-Efficient Reasoner for Description Logics
نویسندگان
چکیده
HermiT is a reasoner for the Description Logic SHOIQ +. The system is based on a novel “hypertableau” calculus and includes a number of new optimizations. HermiT demonstrates significantly faster performance when classifying large and complex ontologies than other state-of-the-art reasoners. HermiT is also the first reasoner able to classify a number of important knowledge bases, including the original version of the GALEN ontology.
منابع مشابه
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner
We describe a hybrid approach to conjunctive query answering over OWL 2 ontologies that combines a datalog reasoner with a fully-fledged OWL 2 reasoner in order to provide scalable “pay as you go” performance. Our approach delegates the bulk of the computation to the highly scalable datalog engine and resorts to expensive OWL 2 reasoning only as necessary to fully answer the query. We have impl...
متن کاملHermiT: A Highly-Efficient OWL Reasoner
HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus addresses performance problems due to nondeterminism and model size—the primary sources of complexity in state-of-the-art OWL reasoners. The latter is particularly important in practice, and it is achieved in HermiT with an improved blocking strategy and and an optimization that tries to reuse existing indiv...
متن کاملOptimized Description Logic Reasoning via Core Blocking
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they con...
متن کاملModular Combination of Reasoners for Ontology Classification
Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of SROIQ ontologies. Existing reasoners, however, do not exploit the fact that most of the axioms in many realistic SROIQ ontologies are expressed in some lightweight DL, such as EL. In this paper, we propose a novel reasoning technique that all...
متن کاملHybrid Query Answering Over DL Ontologies
The design of tractable Description Logics, like EL [1], DL-Lite [2], and RL [5] have spurred the design and implementation of highly scalable systems such as OWLim, Oracle’s Semantic Graph, and more. The attractive properties of the these systems have in many occasions led application developers to use them even in cases where the input ontology is expressed in the far more expressive SROIQ la...
متن کامل